1. Categories and computer science
پدیدآورنده : Walters, R. F. C.
کتابخانه: (طهران)
موضوع : Data processing ، Categories )Mathematics(,، Computer programming
رده :
QA
169
.
W3
2. Categories and computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Data processing ; Computer programming ;
3. Classroom assessment for students in special and general education /
پدیدآورنده : Cathleen G. Spinelli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Children with disabilities-- Education-- United States-- Evaluation.,Educational tests and measurements-- United States.,Inclusive education-- United States-- Evaluation.,Children with disabilities-- Education-- Evaluation.,Educational tests and measurements.,Inclusive education-- Evaluation.,United States., 7
رده :
LC4031
.
S745
2012
4. Computational category theory
پدیدآورنده : Rydeheard, David E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Categories )Mathematics(,Programming ، Electronic digital computers
رده :
QA
169
.
R93
1988
5. Computational category theory /
پدیدآورنده : D.E. Rydeheard, R.M. Burstall
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics)-- Data processing,Computer programming
رده :
QA169
.
R93
1988
6. Computational category theory. ]CD[
پدیدآورنده : Rydeheard, D. E. )David E.(, David E. Rydeheard, Rod M. Burstall
موضوع : Data processing ، Categories )Mathematics(,، Computer programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
7. Computer networks and Internets /
پدیدآورنده : Douglas E. Comer, Department of Computer Sciences, Purdue University, West Lafayette, IN 47907.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Internetworking (Telecommunication),Computer networks.,Internetworking (Telecommunication)
رده :
TK5105
.
5
.
C5897
2015
8. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
9. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
10. Parametric Cost Modeling for Buildings.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Building-- Cost control-- Mathematics.,Building-- Estimates-- Data processing.,Parameter estimation.,Building-- Estimates-- Data processing.,Parameter estimation.,TECHNOLOGY & ENGINEERING-- Construction-- General.
رده :
TH438
.
15
.
P37
2014
11. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
